Basic science

Results: 4014



#Item
531

BRICS Basic Research in Computer Science BRICS RSDanvy et al.: A Unifying Approach to Goal-Directed Evaluation A Unifying Approach to

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2001-09-06 04:47:17
    532

    BRICS Basic Research in Computer Science BRICS RSDantchev & Riis: A Tough Nut for Tree Resolution A Tough Nut for Tree Resolution

    Add to Reading List

    Source URL: www.brics.dk

    Language: English - Date: 2000-05-18 09:46:22
      533

      BRICS Basic Research in Computer Science BRICS RSJ. M. Byskov: Chromatic Number in Time O(2.4023n)

      Add to Reading List

      Source URL: www.brics.dk

      Language: English - Date: 2003-01-07 09:31:11
        534

        BRICS Basic Research in Computer Science BRICS RSAceto et al.: CCS with Hennessy’s Merge has no Finite Equational Axiomatization CCS with Hennessy’s Merge has no

        Add to Reading List

        Source URL: www.brics.dk

        Language: English - Date: 2003-11-06 07:44:13
          535

          BRICS Basic Research in Computer Science BRICS RSP. K. Jensen: Automated Modeling of Real-Time Implementation Automated Modeling of

          Add to Reading List

          Source URL: www.brics.dk

          Language: English - Date: 1999-03-22 05:37:49
            536

            BRICS Basic Research in Computer Science BRICS RSD. Fridlender: An Interpretation of the Fan Theorem in Type Theory An Interpretation of the Fan Theorem in

            Add to Reading List

            Source URL: www.brics.dk

            Language: English - Date: 1999-03-25 08:33:16
              537

              BRICS Basic Research in Computer Science BRICS RSCramer & Shoup: Universal Hash Proofs and a Paradigm for Adaptive Chosen CiphertextUniversal Hash Proofs and a Paradigm for

              Add to Reading List

              Source URL: www.brics.dk

              Language: English - Date: 2001-10-26 09:53:20
                538

                BRICS RS-08-3 J. Munk: A Study of Syntactic and Semantic Artifacts and its Application to Lambda Definability, Strong Normalization, BRICS Basic Research in Computer Science

                Add to Reading List

                Source URL: www.brics.dk

                Language: English - Date: 2008-06-27 04:09:55
                  539

                  The Battle Against Microbial Pathogens: Basic Science, Technological Advances and Educational Programs A. Méndez-Vilas (Ed.) Study of the sugarcane (Sachharum spp.) antimicrobial activity against the fungi Aspergillus s

                  Add to Reading List

                  Source URL: www.formatex.info

                  Language: English - Date: 2015-04-20 05:07:05
                    540

                    BRICS Basic Research in Computer Science BRICS RSL. R. Nielsen: A Selective CPS Transformation

                    Add to Reading List

                    Source URL: www.brics.dk

                    Language: English - Date: 2001-09-06 04:55:00
                      UPDATE